Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
181	Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving Marcus Ermler University of Bremen, Department of Computer Science P.O.Box, 28334 Bremen, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 18:50:04 Planar graph Connectivity Line graph Petersen graph Graph theory Graph rewriting Graph
182	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
183	REPORT FROM THE WORKING GROUP ON VERIFICATION STATISTICS Chair: W.P. Menzel The Working Group was tasked to address the following items from the CGMS input listed in the Workshop Summary under Section 2.1. Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2011-01-10 10:58:34 Control theory Data assimilation Estimation theory Statistical forecasting Radiosonde Wind Collocation Bias CGMS Atmospheric sciences Meteorology Weather prediction
184	Application of Spatial-Temporal Fractions Skill Score to high-resolution ensemble forecast verification Le Duc , Kazuo Saito , Hiromu Seko 1 1 Add to Reading List Source URL: www.cawcr.gov.au Language: English - Date: 2011-12-11 21:05:04 Science Control theory Data assimilation Estimation theory Earth Meteorology Weather prediction Statistical forecasting Statistics
185	Some issues with the point distribution on a contingency table for TAF probability forecast verification Vivek C. Nagar Australian Bureau of Meteorology, Melbourne, Australia, [removed] Introduction Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2012-01-08 22:15:18 Medical statistics Probability theory Cheminformatics Sensitivity and specificity Probability distribution Probability Event Statistics Probability and statistics Biostatistics
186	Categorical variable verification Ian Jolliffe 5IVMW - Tutorial Session - December 2011 Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2012-08-20 04:03:43 Data mining Detection theory Receiver operating characteristic Statistical classification Forecasting Contingency table Rain Statistics Data analysis Statistical forecasting
187	Radar raingauge verification Sandy Dance [removed], Alan Seed [removed] Overview We take radar rainfall estimations from Rainfields, the QPE system, and compare it with raingauge data in order to derive Add to Reading List Source URL: www.cawcr.gov.au Language: English - Date: 2011-12-11 23:13:09 Probability theory Variance Kriging Estimation theory Rain Normal distribution Weather radar Statistics Radar Data analysis
188	Verifying Forecasts Spatially by Eric Gilleland, David A. Ahijevych, Barbara G. Brown, and Elizabeth E. Ebert An international project tests new spatial forecast verification methods to find out how they Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2010-11-14 22:16:36 Statistics Science Estimation theory Hydrology Quantitative precipitation forecast Ensemble forecasting Forecasting Weather forecasting Forecast error Statistical forecasting Prediction Weather prediction
189	METEOROLOGICAL APPLICATIONS Meteorol. Appl. 15: 51–[removed]Published online in Wiley InterScience (www.interscience.wiley.com) DOI: [removed]met.25 Fuzzy verification of high-resolution gridded forecasts: Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2009-12-02 21:49:17 Weather prediction Probability interpretations Statistical forecasting Estimation theory Computational science Numerical weather prediction Weather forecasting Brier score Forecasting Atmospheric sciences Meteorology Science
190	SESSION III Verification/Objective Quality Analysis Chairperson: Masami Tokuno Session three covered verification and objective quality analysis of Atmospheric Motion Vectors Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2010-04-06 09:04:21 Statistical forecasting Weather prediction Control theory Data assimilation Estimation theory Met Office Meteosat Atmospheric sciences Meteorology Earth

UPDATE